New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·9h·
Discuss: Hacker News
🔗Hash Functions
Flag this post
Symmetry Solved: Lightning-Fast Algorithms Unlock New Optimization Possibilities
dev.to·1d·
Discuss: DEV
🎨Graph Coloring
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
📈Monotonic Logic
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔶Lattice Theory
Flag this post
Discovering physical laws with parallel symbolic enumeration
nature.com·1d
🔍ML Language
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·10h·
Discuss: Hacker News
Type Checking
Flag this post
Streamline AI operations with the Multi-Provider Generative AI Gateway reference architecture
aws.amazon.com·1d
🛡️Capability VMs
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🔍ML Language
Flag this post
Meditations on geometric packing
shvbsle.in·20h
🌊Effect Rows
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·8h
🗂️Type Indexing
Flag this post
The Machine Learning Roadmap
github.com·7h·
Discuss: Hacker News
🌱Minimal ML
Flag this post
Making SLH-DSA 10x-100x Faster
conduition.io·5h
🔗Hash Algorithms
Flag this post
5 AI tools that can help you start and run an online business
androidauthority.com·16h
🔍Fuzzy Matching
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·19h·
Discuss: Substack
🎭Program Synthesis
Flag this post
10000
jro.sg·17h
📦Executable Size
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·7h·
Discuss: Hacker News
🗂️Term Indexing
Flag this post